# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_PAGEFAULT
	depends on RV
	select RV_LTL_MONITOR
	depends on RV_MON_RTAPP
	depends on X86 || RISCV
	depends on MMU
	default y
	select LTL_MON_EVENTS_ID
	bool "pagefault monitor"
	help
	  Monitor that real-time tasks do not raise page faults, causing
	  undesirable latency.

	  If you are developing a real-time system and not entirely sure whether
	  the applications are designed correctly for real-time, you want to say
	  Y here.

	  This monitor does not affect execution speed while it is not running,
	  therefore it is safe to enable this in production kernel.